Pilar DELLUNDE EQUALITY - FREE SATURATED MODELS
نویسندگان
چکیده
Saturated models are a powerful tool in model theory. The properties of universality and homogeneity of the saturated models of a theory are useful for proving facts about this theory. They are used in the proof of interpolation and preservation theorems and also as work-spaces. Sometimes we work with models which are saturated only for some sets of formulas, for example, recursively saturated models, in the study of models of arithmetic or atomic compact, in model theory of modules. In this article we introduce the notion of equality-free saturated model, that is, roughly speaking, a model which is saturated for the set of equality-free formulas. Our aim is to understand better the role that identity plays in classical model theory, in particular with regard to this process of saturation. Given an infinite cardinal κ, we say that a model is equality-free κsaturated if it satisfies all the 1-types over sets of parameters of power less than κ, with all the formulas in the type that are equality-free. We compare this notion with the usual notion of κ-saturated model. We prove the existence of infinite models A, which are L−-|A|-saturated. From
منابع مشابه
Equality-free Logic: The Method of Diagrams and Preservation Theorems
In this article I prove preservation theorems for the positive and for the universal-existential fragment of equality-free logic. I give a systematic presentation of the method of diagrams for first-order languages without equality.
متن کاملPreserving mappings in fuzzy predicate logics
In this paper we develop the method of diagrams for fuzzy predicate logics and give a characterization of different kinds of preserving mappings in terms of diagrams. Our work is a contribution to the modeltheoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts bei...
متن کاملOn Reduced Semantics for Fuzzy Predicate Logics
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We present a reduced semantics and we prove a completeness theorem of the logics with respect to this semantics. The main concepts being studied are the Leibniz congruence and the relative relation. On the one hand, the Leibniz congruence of a model identifies the elements that are indistinguishable...
متن کاملOn Elementary Equivalence for Equality-free Logic
This paper is a contribution to the study of equality-free logic, that is, first-order logic without equality. We mainly devote ourselves to the study of algebraic characterizations of its relation of elementary equivalence by providing some Keisler-Shelah type ultrapower theorems and an Ehrenfeucht-Fraı̈ssé type theorem. We also give characterizations of elementary classes in equalityfree logic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001